Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
191	Skill Cluster Page 1 Learning Skill 1.1 Interactive Skills - Exchanging thoughts, messages & information effectively through interaction Add to Reading List Source URL: taolearn.com Language: English - Date: 2015-05-21 20:54:53 Seattle Mariners all-time roster Baltimore Orioles all-time roster Modal logic Non-classical logic Philosophical logic
192	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
193	ACCURACY, SELF-ACCURACY, AND CHOICE August 17, 2013 Bristol Summer School Bristol, UK Jim Joyce Department of Philosophy Add to Reading List Source URL: fitelson.org Language: English - Date: 2014-05-08 21:31:44 Belief Doxastic logic Modal logic Reasoning Truth Tilde Brier score Logic Philosophy Ethics
194	The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2011-05-10 14:09:19 Temporal logic Hybrid logic Modal depth Interpretation Artificial neuron Logic Modal logic Epistemic modal logic
195	An Analysis of the Structure of Analysis (The Gegenstand-relation in discussion) door D.F.M. Strauss (Appeared in Philosophia Reformata, 1984, Nr.1 pp.35-56) Add to Reading List Source URL: christelijkefilosofie.nl Language: English - Date: 2015-06-01 10:42:43 Herman Dooyeweerd Reformational philosophy Modal logic D. F. M. Strauss Entailment Interpretation D. H. Th. Vollenhoven Critique of Pure Reason Verificationism Philosophy Logic Philosophical logic
196	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
197	Formalization, Mechanization and Automation of G¨ odel’s Proof of God’s Existence? Christoph Benzm¨ uller1 and Bruno Woltzenlogel Paleo2 1 Add to Reading List Source URL: www.logic.at Language: English - Date: 2013-08-25 01:30:42 Model theory Arguments for the existence of God Philosophical logic Functions and mappings Modal logic Mathematical proof Function Isabelle Ontological argument Logic Mathematics Mathematical logic
198	Towards More Useful Description Logics of Time, Change and Context V´ıctor Didier Guti´errez Basulto DISSERTATION zur Erlangung des akademischen Grades Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-05-22 05:57:02 Information science Temporal logic Modal logic Science Information Non-classical logic Artificial intelligence Description logic
199	Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-14 20:29:16 Programming paradigms Query languages Deduction Database Relational model Entailment Modal logic SQL Knowledge representation and reasoning Logic Database management systems Philosophical logic
200	From The Independent 23 OctoberDAVID LEWISThe death of David Lewis at the age of 60 has deprived philosophy of one of its most original and brilliant thinkers. Lewis was a systematic philosopher in a Add to Reading List Source URL: www.timcrane.com Language: English - Date: 2014-11-15 07:31:06 Modal logic Rationalists Ontology David Lewis Logicians Supervenience Possible world Gottfried Leibniz Reality Philosophy Metaphysics Possibility

UPDATE